SyntaxCheckerPerformer.java

/*******************************************************************************
 * Signavio Core Components
 * Copyright (C) 2012  Signavio GmbH
 * 
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 * 
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 * 
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see <http://www.gnu.org/licenses/>.
 ******************************************************************************/
package com.signavio.warehouse.model.syntaxchecker;

import java.util.List;

import org.json.JSONException;
import org.json.JSONObject;
import org.oryxeditor.server.diagram.generic.GenericDiagram;

import de.hpi.bpmn2_0.exceptions.BpmnConverterException;
import de.hpi.bpmn2_0.factory.AbstractBpmnFactory;
import de.hpi.bpmn2_0.model.Definitions;
import de.hpi.bpmn2_0.transformation.Diagram2BpmnConverter;
import de.hpi.bpmn2_0.validation.BPMN2SyntaxChecker;
import de.hpi.diagram.verification.SyntaxChecker;

public class SyntaxCheckerPerformer {

//	protected void processDocument(Document document, PrintWriter writer) {
//		String type = new StencilSetUtil().getStencilSet(document);
//		SyntaxChecker checker = null;
//		if(type != null){
//			if (type.equals("bpmn.json") || type.equals("bpmneec.json"))
//				checker = getCheckerBPMN(document);
//			else if (type.equals("bpmn1.1.json"))
//				checker = getCheckerBPMN11(document);
//			else if (type.equals("ibpmn.json"))
//				checker = getCheckerIBPMN(document);
//			else if (type.equals("interactionpetrinets.json"))
//				checker = getCheckerIPN(document);
//			else if (type.equals("epc.json"))
//				checker = getCheckerEPC(document);
//		}
//		
//		if(checker == null) {//try eRDF
//			try {
//				NamedNodeMap map = XPathAPI.selectSingleNode(document, "//a[@rel='oryx-stencilset']").getAttributes();
//				type = map.getNamedItem("href").getNodeValue();
//			} catch (TransformerException e) {
//				e.printStackTrace();
//			}
//			if(type != null && type.endsWith("petrinet.json")){
//				checker = getCheckerPetriNet(document);
//			}
//		}
//
//		if (checker == null) {
//			writer.print("{}");
//		} else {
//			checker.checkSyntax();
//			writer.print(checker.getErrorsAsJson().toString());
//		}
//	}
	
	public JSONObject processDocument(GenericDiagram diagram, List<Class<? extends AbstractBpmnFactory>> factoryClasses) throws JSONException, BpmnConverterException {
//		GenericDiagram diagram = BasicDiagramBuilder.parseJson(jsonDocument);
		
		//TODO: validate edges that are not in the java object model
//		ArrayList<Shape> edges = this.getEdgesFromDiagram(diagram.getChildShapes());
		
		String type = diagram.getStencilsetRef().getNamespace();
		SyntaxChecker checker = null;
		
		if(type != null && (type.equals("http://b3mn.org/stencilset/bpmn2.0#") ||
				type.equals("http://b3mn.org/stencilset/bpmn2.0choreography#") ||
				type.equals("http://b3mn.org/stencilset/bpmn2.0conversation#"))) {
			checker = getCheckerBPMN2(diagram, factoryClasses);
		}
		
		if (checker == null) {
			return new JSONObject();
		} else {
			checker.checkSyntax();
			return checker.getErrorsAsJson();
		}
	}
	
//	private ArrayList<Shape> getEdgesFromDiagram(ArrayList<Shape> shapes) {
//		ArrayList<Shape> edges = new ArrayList<Shape>();
//		
//		for(Shape shape : shapes) {
//			String sid = shape.getStencilId();
//			
//			if(sid.equals("SequenceFlow")
//					|| sid.equals("MessageFlow")
//					|| sid.equals("Association_Undirected")
//					|| sid.equals("Association_Unidirectional")
//					|| sid.equals("Association_Bidirectional")) {
//				edges.add(shape);
//			} else if(shape.getChildShapes().size() > 0) {
//				edges.addAll(this.getEdgesFromDiagram(shape.getChildShapes()));
//			}
//			
//		}
//		
//		return edges;
//	}
	
	protected SyntaxChecker getCheckerBPMN2(GenericDiagram diagram, List<Class<? extends AbstractBpmnFactory>> factoryClasses) throws BpmnConverterException {
		Diagram2BpmnConverter converter = new Diagram2BpmnConverter(diagram, factoryClasses);
		
		Definitions defs = converter.getDefinitionsFromDiagram();
		return new BPMN2SyntaxChecker(defs);
	}
}